.jump-to-source {
  float: right;
  color: 	#87CEFA;
}